$\forall$${\it es}$:ES, ${\it ff}$:FIFO, ${\it f2f+}$:F2F+{-}decls. ack\_dcdr $\in$ $e$:E$\rightarrow$Dec(is\_ack ($e$))